`Term::is_isomorphic_to`: A function to determine if two term objects describe identical expressions. #33

Sign in to view logs

Summary
Jobs
- cargo test
Run details
- Usage
- Workflow file

Workflow file for this run

.github/workflows/test.yml at 520aeae

	on:
	pull_request:
	push:
	branches:
	- master

	name: tests

	jobs:
	tests:
	name: cargo test
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: actions-rs/toolchain@v1
	with:
	profile: minimal
	toolchain: stable
	override: true
	- uses: actions-rs/cargo@v1
	with:
	command: test
	args: --release