zenntenn/changelingthepodcast zenntenn/changelingthepodcast

  • This repository has been archived on 21/May/2024
  • Stars
    star
    2
  • Language SCSS
  • Created over 2 years ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zenntenn/changelingthepodcast
github

zenntenn

Reviews

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

Repository Details

More Repositories

1

Idris-Repl

A self hosted Repl for Idris (Still *very* early stages)
Idris
2
star
2

Dai

An Idris automation tool designed to assist with behavior-driven development, based on Cucumber/Gherkin to support type-driven development
Idris
1
star
3

Idris2-FSharp

An F# backend for Idris
Scheme
1
star