Skip to content
This organization was marked as archived by an administrator on Oct 6, 2023. It is no longer maintained.
@idream-build

idream-build

Popular repositories Loading

  1. idream idream Public archive

    A simple build system for Idris

    Haskell 22 2

  2. idream_test_dep1 idream_test_dep1 Public archive

    Fixture used during idream integration tests, serves no other real purpose.

    Idris

  3. idream_test_dep2 idream_test_dep2 Public archive

    Fixture used during idream integration tests, serves no other real purpose.

    Idris

Repositories

Showing 3 of 3 repositories
  • idream Public archive

    A simple build system for Idris

    idream-build/idream’s past year of commit activity
    Haskell 22 BSD-3-Clause 2 0 0 Updated Mar 19, 2021
  • idream_test_dep1 Public archive

    Fixture used during idream integration tests, serves no other real purpose.

    idream-build/idream_test_dep1’s past year of commit activity
    Idris 0 0 0 0 Updated Mar 5, 2021
  • idream_test_dep2 Public archive

    Fixture used during idream integration tests, serves no other real purpose.

    idream-build/idream_test_dep2’s past year of commit activity
    Idris 0 0 0 0 Updated Mar 5, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…