Recent searches

No recent searches

Search options

Not available on functional.cafe.
functional.cafe is one of the many independent Mastodon servers you can use to participate in the fediverse.
functional.cafe is an instance for people interested in functional programming and languages.

Administered by:

Server stats:

213
active users

functional.cafe: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.5.0-alpha.1+glitch

New blog post about core languages and #Agda: "6 Reasons in favor of a core language, and 5 against"

jesper.cx/posts/why-not-a-core-language.html
agda.clubThe Agda Club

@jesper Regarding existing external checkers, Chris Bailey has not only implemented one for Lean 4 in Rust but also written a whole book on how to do that

ammkrn.github.io/type_checking

ammkrn.github.ioType Checking in Lean 4 - Type Checking in Lean 4
··Tusky
7boosts·12favorites
Live feeds
About