kvwatkins/Idris2-repl kvwatkins/Idris2-repl

  • Stars
    star
    1
  • Language
    Nix
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kvwatkins/Idris2-repl
github

kvwatkins

Reviews

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

Repository Details

Idris2 Template with Vim/Idris2 plugin

More Repositories

1

Kinds

Extending F#'s Capabilities Through Various Means
F#
2
star
2

kvwatkins

Config files for my GitHub profile.
2
star
3

kwdev.io

Personal developer blog and ramblings
Haskell
1
star
4

Categories

TeX
1
star
5

Architecture

F#
1
star
6

ConcreateAlgebraicOptics

Example of Machine Learning Optics
F#
1
star
7

educational-notes

1
star
8

home-dashboard

Shell
1
star
9

PathfinderBot

C#
1
star