profile
viewpoint

idris-lang/Idris2

A purely functional programming language with first class types

https://idris-lang.org/

idris-lang

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

edwinb
melted
gallais
ziman
ska80
rbarreiro
ShinKage
jfdm
nickdrozd
clayrat
MarcelineVQ
Russoul
chrrasmussen
fabianhjr
andylokandy
alexhumphreys
mb64
buzden
ohad
timsueberkrueb
keram
jinwoo
vilunov
Sventimir
thomasdziedzic
foss-mc
wchresta
andrevidela
stephen-smith
vladimyr
cypheon
stepancheg
normalcoder
SmiVan
abailly
bbarker
bigs
0nkery
xoltar
markuspf
sysvinit
berewt
bamboo
redfish64
memoryruins
karroffel
0xd34df00d
AdamHarries
andorp
chetant
imcotton
csabahruska
david-christiansen
DavidTheBugWriter
witt3rd
fangyi-zhou
FrederikVigen
ionathanch
nixCodeX
ether42
petithug
mattpolzin
mbaulch
matthewess
birchmd
MilanKral
rgrover
shaylew
iclanzan
dkeehl
TomasPuverle
Yu-zh
prozacchiwawa
asdfjasdf
elsanussi-s-mneina
lodi
stasoid
zenntenn