bellissimogiorno/nominal
Haskell implementation of nominal datatypes and functions
HaskellBSD-3-Clause
Stargazers
- AleXoundOSTbilisi, Georgia
- andreas-roehlerfreelance
- anqurvanillapy@Shopee
- anton-trunovTON Foundation
- ayberktUniversity of Birmingham
- bestofsaiv
- brendanzab@yeslogic
- chessai
- croyzor
- cyberglotGlasgow, UK
- danidiazArtificial Labs
- dannypsnl@second-state
- gabriel-fallenKontur
- guilhermehasChalmers
- JaxanOpen Universiteit
- jeb2239
- joom@Bloomberg
- kthielenNew York, NY
- L-TChenInstitute of Information Science, Academia Sinica
- lemasteroLublin
- medeirosjoaquim
- michaelbeaumontGermany
- ocramz@unfoldml
- omelkonianUniversity of Edinburgh
- PalindromeLeungSan Mateo, CA
- plaidfinch@starlingcyber
- roboguy13
- sdiehlLondon
- secondwtqSichuan University
- SeungUkLeeRepublic Of Korea, Busan
- shhyouTaipei, Taiwan
- steshaw@tweag
- takanuva
- tkersey@thisisartium
- WiddershinWellington, New Zealand
- yangzhixuanImperial College London