the calculus of inductive constructions would be an acceptable alternative i guess

Show thread

i guess the closest is the toy language used in The Little Typer

even though the pi calculus is decidedly not hindley-milner

Show thread

i wish there were a strictly typed LISP using a hindley-milner type system

Show older
📟🐱 GlitchCat

A small, community‐oriented Mastodon‐compatible Fediverse (GlitchSoc) instance managed as a joint venture between the cat and KIBI families.