vsmart/idris-session-types vsmart/idris-session-types

  • Stars
    star
    2
  • Language
  • Created about 11 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vsmart/idris-session-types
github

vsmart

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An Implementation of Session Types for Idris

More Repositories

1

sleepy-dog

a game for the january mini gam jam berlin.
Clojure
4
star
2

delete-your-tweets

An app to delete your tweets
Elixir
4
star
3

vegan-sandwiches

A tiny game about vegan sandwiches
Clojure
1
star
4

homoiconicity-talk

Slides for "Adventures in Homoiconicity" talk
HTML
1
star
5

touchpad

nlp language modeling using nltk / python
Python
1
star
6

vitamin-d

Clojure
1
star