sstucki / f-omega-int-agda

F-omega with interval kinds mechanized in Agda
13Updated 3 months ago

Related projects

Alternatives and complementary repositories for f-omega-int-agda