[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

FP Track at DebConf + Cryptol now FLOSS


I did talk with a Galois team member this week who is interested
in the idea of a functional programming track at Debconf
(and will discuss it with the larger team in Portland next week).

In other news Galois has just released Cryptol as open source:



Reply to: